Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
41	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding Ontological Approaches to Sensor Data Analysis May, 2016 John McDowall Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-27 23:40:47 Ontology Knowledge representation Information science Information Technical communication Computing Upper ontology Formal ontology Web Ontology Language GeoSPARQL Class Draft:Outline of ontologies
42	Microsoft WordMOHRI & SPROAT.doc Add to Reading List Source URL: www.ling.helsinki.fi Language: English - Date: 2006-02-14 04:35:20 Formal languages Academia Cognitive science Philosophy Regular language Noam Chomsky Mehryar Mohri Lauri Karttunen Context-free language Finite-state transducer Chomsky hierarchy Context-sensitive language
43	What Not to Do When Writing an Interpreter for Specialisation Neil D. Jones DIKU, University of Copenhagen e-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computing Theoretical computer science Logic in computer science Models of computation Programming language semantics Formal methods Subroutines Denotational semantics Semantics Partial evaluation Interpreter
44	Formal Definition of ALGOL 60 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-10-06 17:17:15 Software engineering Programming language theory Computing Procedural programming languages ALGOL 68 ALGOL ECL programming language PL/I BackusNaur form For loop Programming language Abstract syntax
45	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
46	Translating SCXML Statecharts to iUML-B State-machines Karla Morris : Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:57:46 Computing SCXML Models of computation Call Control eXtensible Markup Language State diagram Formal methods Auguste Rodin B-Method Finite-state machine Rodin Linz
47	How recursive is language? 1 Running head: HOW RECURSIVE IS LANGUAGE? How recursive is language? A Bayesian exploration Amy Perfors Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-09 14:58:51 Cognitive science Formal languages Language Grammar Linguistics Syntax Compiler construction Philosophy of language Recursive grammar Context-free grammar Parsing Recursion
48	An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 04:29:26 Theoretical computer science Automated planning and scheduling Logic in computer science Mathematics Computational complexity theory Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Planning Domain Definition Language Satz
49	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-08-18 20:05:39 Software engineering Programming language theory Computer programming Logic in computer science Formal languages Procedural programming languages Subroutines Computability theory Rewriting Recursion Whiley ALGOL 68
50	ML-Tuned Constraint Grammars Eckhard Bick Institute of Language and Communication University of Southern Denmark, Odense Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2014-03-18 07:42:49 Formal languages Grammar Cognition Cognitive science Constraint Grammar Parsing Formal grammar LL grammar Linguistics

UPDATE